Test Case Description Language (TCDL): Test Case Metadata for Conformance Evaluation
نویسندگان
چکیده
Automatic benchmarking of evaluation and repair tools (ERT) has been recently the subject of several studies as there is a growing interest because of legal and commercial issues on Web compliance with different criteria and standards. This paper addresses the development of a description language targeted to formally represent test case metadata. This language was used to develop a WCAG 2.0 test suite that will support the benchmarking of ERT with regard to the aforementioned W3C recommendation.
منابع مشابه
Conformance Testing based on UML State Machines: Automated Test Case Generation, Execution and Evaluation
In this paper we describe a comprehensive approach for conformance testing of embedded reactive systems. Based on a formal specification, namely UML state machines, we automatically generate test cases and use them to check the functional conformance of a system under test. Our test cases include not only stimuli to trigger the system under test, they also include possible correct observations ...
متن کاملInitial Investigations into Interoperability Testing of Web Services from their Specification using the Unified Modelling Language
The latest paradigm for the development of distributed systems is the Service-oriented Architecture (SoA) with implementation based upon Web Services. In principle, the development of a distributed system using a model driven approach enables the automated implementation and testing of the system from the specification of the component services. An evaluation of this approach based upon the wor...
متن کاملTest Case Generation from UML State Machines∗
In this paper we describe a comprehensive approach for conformance testing of embedded reactive systems. Based on a formal specification, namely UML state machines, we automatically generate test cases and use them to check the functional conformance of a system under test. Our test cases include not only stimuli to trigger the system under test, they also include possible correct observations ...
متن کاملArchitecture-Based Conformance Testing
In the last two decades, software architecture has played a central role in the development of software systems. It provides a high-level description for large-size and complex systems using suitable abstractions of the system’s components and their interactions. In our work, the software architecture is described using a formal Architecture Description Language (ADL) designed in the ArchWare E...
متن کاملConformance Testing of Distributed Concurrent Systems with Executable Designs
This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modeling language Creol is used both for generating test inputs and as a test oracle. For test case generation, we extend Dynamic Symbolic Execution (also called Concolic Execution) to work with multi-threaded models and use this to g...
متن کامل